معنای عملیاتی برای یک زبان مبتنی براکتور
Authors
abstract
باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیاء واکنشی مستقل از هم، اجزاء تشکیل دهنده ی مدل هستند که با تبادل ناهمگام پیام با یکدیگر در ارتباط هستند. ایجاد پویای اشیاء واکنشی و تغییر پویای پیکربندی از ویژگی های این زبان است. این زبان به همراه توصیف صوری و قانونمند آن، پایه محکمی برای داشتن یک ابزار جهت وارسی سیستم های واکنشی بوده است.
similar resources
حالت و معنای حالت در زبان روسی
در دستور سنتی زبان روسی، ویژگی دستوری "حالت " به عنوان یکی از ویژگی های دستوری تغییردهنده در ارتباط با اسم تعیین می شود و بر این اساس، شش حالت صرفی تحت عناوین "حالت نهادی، " حالت اضافی "، "حالت به ای "، "حالت مفعول مستقیم "، "حالت بایی " و "حالت حرف اضافه ای " مشخص می شوند. " صرف اسمی " از سوی دستورنویسان روس عمدتأ به شکل های مختلف اسم که موجب ویژگی دستوری "حالت " به دست می آیند، اطلاق می شود و...
full textشناسایی رفتارهای عملیاتی مبتنی بر ارزشهای سازمانی در لایهی عملیاتی
جاریسازی ارزشهای سازمانی موجب بهبود رفتار کارکنان شده و اخلاق حرفهای به مبنایی برای کسبوکار بدل میگردد. توجه به چگونگی و سازوکارهای لازم برای جاریسازی ارزشها و تبدیل آن به رفتارهای عملیاتی در لایهی عملیاتی کمتر مورد توجه قرار گرفته است. به این منظور، ضمن مروری مستند بر ادبیات موضوع، نتایج بهدستآمده، طی مطالعهی موردی در شرکت فولاد مبارکهی اصفهان، مورد بررسی قرار گرفته است. بر این اسا...
full textطراحی یک ردیاب برای یک ماهوارهبر مبتنی بر خطیسازی برخط
به دلیل حضور برخی ترمهای غیر خطی در معادلات پرواز یک ماهوارهبر باید یک راهبرد مناسب و پایدار کنترلی برای غلبه بر این ترمها و در نتیجه، فرایند ردیابی صحیح مسیر بهینۀ رسیدن ماهوارهبر به مدار مورد نظر را طراحی کرد. در این مقاله، مبانی طراحی یک کنترلکننده برای سیستم غیر خطی نوین و ساده با هدف کنترل یک نوع ماهوارهبر در جهت ردیابی مسیر بهینۀ آن توضیح داده میشود. مبنای اساسی این استراتژی، خطیس...
full textسیستم تشخیص ناهنجاری مبتنی بر هشدار برای مقابله با تهدیدهای عملیاتی در سیستم اسکادا
حمله به سیستمهای اسکادا در زیرساختهای حیاتی خسارتهای جبرانناپذیری به همراه دارد. چنانچه اپراتورهای اسکادا وظایف خود را بهدرستی انجام ندهند، در فرآیندهای جاری سیستم اختلال بهوجود میآید. عملکرد نامناسب اپراتورها در کنترل فرآیندها بهعنوان تهدید عملیاتی شناخته میشود. ازآنجاییکه هشدارها یکی از مهمترین پارامترها در سیستمهای اسکادا میباشند، در این مقاله یک سیستم تشخیص ناهنجاری مبتنی بر هش...
full textMy Resources
Save resource for easier access later
Journal title:
نشریه دانشکده فنیPublisher: دانشکده فنی
ISSN 0803-1026
volume 40
issue 2 2006
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023